Fix annex.adviceNoSshCaching having no effect
authorReiko Asakura <asakurareiko@protonmail.ch>
Fri, 30 Sep 2022 14:56:17 +0000 (10:56 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 30 Sep 2022 18:03:06 +0000 (14:03 -0400)
commit445aa0d93b7c8f50889afdf80c1a505a1440e566
tree8684920fa4e34ec3cc9b0571571db7f5ce4d3bd1
parent49ee07f93dc3281084247b77eb7653a2bad5fad8
Fix annex.adviceNoSshCaching having no effect

git will always return option names in lowercase
Types/GitConfig.hs